Reverse

We can reverse any list with the function Reverse, defined using Foldl:

#math144#

Reverse

=

Foldl~(Twiddle~Cons)~Nil

For example, #math145#Reverse~[1, 2, 3] can be calculated:

#math146#

Reverse~[1, 2, 3];SPMnbsp;;SPMnbsp;;SPMnbsp;;SPMnbsp;
	=	Foldl~(Twiddle~Cons)~Nil~[1, 2, 3]
	=	Twiddle~Cons
		;SPMnbsp;;SPMnbsp;;SPMnbsp;;SPMnbsp;(Twiddle~Cons~(Twiddle~Cons~Nil~1)~2)~3
	=	Cons~3~(Cons~2~(Cons~1~Nil ))
	=	#tex2html_wrap_indisplay2549# : #tex2html_wrap_indisplay2550##tex2html_wrap_indisplay2551#Foldl#tex2html_wrap_indisplay2552#@@7<#9#>7<#7#>#tex2html_wrap_indisplay2553#! :}[1, 2, 3]

The TEX code for 33 doesn't even take in any parameters.